batch machining - Spanisch Englisch Wörterbuch